TAGs: perpendicular bisector